Fast and loose reasoning is morally correct

What is (Correct) Practical Reasoning?

This paper argues that practical reasoning is a mental process which leads a person from a set of existent mental states to an intention. In Section 1, I defend this view against two other proposals according to which practical reasoning either concludes in an action itself or in a normative belief. Section 2 discusses the correctness of practical reasoning and explains how the correctness of i...

Fast and Loose: Biologically Inspired Couplings

Recent years have seen the discovery of gaseous transmitters in biological nervous systems. An ANN inspired by such gaseous signalling, the GasNet, has previously been shown to be more evolvable than traditional ANNs. Here we present 2 new versions of the GasNet which take further inspiration from the properties of gaseous signalling. The plexus model is inspired by the cortical nNOS plexus and...

When is amniocentesis morally licit?

Correct Reasoning about Logic Programs

In this PhD project, we present an approach to the problem of determinacy inference in logic programs with cut, which treats cut uniformly and contextually. The overall aim is to develop a theoretical analysis, abstract it to a suitable domain and prove both the concrete analysis and the abstraction correct in a formal theorem prover (Coq). A crucial advantage of this approach, besides the guar...

Forward induction reasoning and correct beliefs

All equilibrium concepts implicitly make a correct beliefs assumption, stating that a player believes that his opponents are correct about his first-order beliefs. In this paper we show that in many dynamic games of interest, this correct beliefs assumption may be incompatible with a very basic form of forward induction reasoning: the first two layers of extensive-form rationalizability (Pearce...